Deterministic automaton

Results: 176



#Item
11An Improved Construction of Deterministic Omega-automaton using Derivatives Roman R. Redziejowski Giraf’s Research

An Improved Construction of Deterministic Omega-automaton using Derivatives Roman R. Redziejowski Giraf’s Research

Add to Reading List

Source URL: csp2011.mimuw.edu.pl

Language: English - Date: 2011-09-01 11:05:27
    12The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD

    The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD

    Add to Reading List

    Source URL: langsec.org

    Language: English - Date: 2011-12-01 04:10:13
    13How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1

    How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1

    Add to Reading List

    Source URL: software.imdea.org

    Language: English - Date: 2014-06-27 10:56:07
    14Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina

    Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina

    Add to Reading List

    Source URL: langsec.org

    Language: English - Date: 2011-12-01 11:57:54
    15The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD

    The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD

    Add to Reading List

    Source URL: static.usenix.org

    Language: English - Date: 2011-11-23 16:29:49
    16Learning Stochastic Finite Automata for Musical Style Recognition? Colin de la Higuera, Fr´ed´eric Piat and Fr´ed´eric Tantini1 EURISE, Universit´e de Saint-Etienne, 23 rue du Docteur Paul Michelon, 42023 Saint-Etie

    Learning Stochastic Finite Automata for Musical Style Recognition? Colin de la Higuera, Fr´ed´eric Piat and Fr´ed´eric Tantini1 EURISE, Universit´e de Saint-Etienne, 23 rue du Docteur Paul Michelon, 42023 Saint-Etie

    Add to Reading List

    Source URL: pagesperso.lina.univ-nantes.fr

    Language: English - Date: 2009-09-07 03:02:20
    17On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ?

    On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ?

    Add to Reading List

    Source URL: www.mimuw.edu.pl

    Language: English - Date: 2008-12-09 11:42:04
    18Regular-expression derivatives reexamined SCOTT OWENS University of Cambridge

    Regular-expression derivatives reexamined SCOTT OWENS University of Cambridge

    Add to Reading List

    Source URL: www.ccs.neu.edu

    Language: English - Date: 2010-01-10 16:47:22
    19Synthesis for Probabilistic Environments⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany

    Synthesis for Probabilistic Environments⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany

    Add to Reading List

    Source URL: cgi.csc.liv.ac.uk

    Language: English - Date: 2008-09-22 13:37:30
    20Ramsey Goes Visibly Pushdown Oliver Friedmann1 , Felix Klaedtke2 , and Martin Lange3 1 LMU Munich, 2 ETH Zurich, and 3 University of Kassel

    Ramsey Goes Visibly Pushdown Oliver Friedmann1 , Felix Klaedtke2 , and Martin Lange3 1 LMU Munich, 2 ETH Zurich, and 3 University of Kassel

    Add to Reading List

    Source URL: files.oliverfriedmann.de

    Language: English - Date: 2013-02-13 07:24:13